Verification theory - PDFSEARCH.IO - Document Search Engine

Verification theory
Results: 377

#	Item
351	Probabilistic Relational Verification for Cryptographic Implementations Gilles Barthe C´edric Fournet Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-09-13 09:26:28 Adjoint functors Mathematical logic Relational model Μ operator Function Dirac delta function Monad Homomorphism Interpretation Mathematics Mathematical analysis Model theory
352	Product Planning And Development Process Hans Hjort Hans Hjort Consulting Add to Reading List Source URL: www.qfdcapture.com Language: English - Date: 2012-09-14 16:46:11 Systems theory Reliability engineering Systems engineering process Verification and validation Voice of the customer New product development Software development process Validation Verification Systems engineering Science Systems science
353	Verification of solid state interlocking programs Phillip James, Andy Lawrence Faron Moller, Markus Roggenbach, Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2013-09-27 06:58:46 Propositional calculus Model theory Predicate logic Metalogic Ladder logic First-order logic Logic programming Formal verification Function Logic Mathematics Mathematical logic
354	Automated Verification of Signalling Principles in Railway Interlocking Systems Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2011-03-08 11:42:58 Propositional calculus Railway signalling Model theory Interlocking Ladder logic Propositional variable First-order logic Ladder Railroad switch Logic Transport Land transport
355	Verification of solid state interlocking programs Phillip James1 , Andy Lawrence1 , Faron Moller1 , Markus Roggenbach1 , Monika Seisenberger1 , Anton Setzer1 , Karim Kanso2 , and Simon Chadwick3 1 Swansea Railway Verifi Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2013-12-12 10:55:19 Propositional calculus Predicate logic Model theory Formal languages Ladder logic Model checking Logic programming First-order logic Interlocking Logic Mathematical logic Mathematics
356	Descriptions of the IRI Climate Forecast Verification Scores The International Research Institute for Climate and Society The Earth Institute at Columbia University Add to Reading List Source URL: iri.columbia.edu Language: English - Date: 2013-10-11 13:53:58 Brier score Estimation theory Likelihood function Forecasting Receiver operating characteristic Precipitation Quantitative precipitation forecast Statistics Probability and statistics Statistical forecasting
357	AVoCS[removed]Automated Verification of Signalling Principles in Railway Interlockings 1 Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2009-11-12 17:52:00 Metalogic Railway signalling Model theory Interlocking Ladder logic Propositional variable First-order logic Ladder Model checking Logic Propositional calculus Logical syntax
358	Psychological Review When Group Membership Gets Personal: A Theory of Identity Fusion Add to Reading List Source URL: www.icea.ox.ac.uk Language: English - Date: 2012-08-14 12:55:09 Sociological terms Behavioural sciences Sociology Self Fusion power Identity Self-verification theory Social identity theory Self-concept Social psychology Conceptions of self Mind
359	iuteich-verification-report[removed]pdf Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2013-12-09 11:47:12 Cognition Ring theory Arakelov theory Set theory Mereology Valuation Mathematics Science Theory
360	Software Verification Grégoire Sutre LaBRI, University of Bordeaux, CNRS, France Add to Reading List Source URL: www.mpi-inf.mpg.de Language: English - Date: 2008-09-23 03:26:04 Algebra Order theory Algebraic structures Galois connection Constructible universe Lattice Abstract algebra Mathematics Abstract interpretation

UPDATE